A Fairness Based Framework to Resolve Political Disputes

ـــــــThis paper presents FISA Framework for Intelligent Situation Analysis. Specifically we present a software tool to solve political disputes. Such a tool can be used successfully to cross the gap between the looseness of political situations specifications and the tightness of formal logical methods. This adaptation is performed by making use of data mining to discover both relevant topics and sequences associated with actors, which represent the underlying dispute by an arbitrary set of meaningful events that are arranged in temporal order. This allows performing probabilistic reasoning to determine the resources of the dispute by using Communicating Sequential Processes to ensure the solution correctness. More importantly, we propose exploiting fairness to tackle the nondeterministic nature of the dispute. In the proposed work, fairness techniques are relied upon to allow each country to reach the goal (which is not reachable before applying fairness) by investigating all possible paths. Consequently, fair solutions could be devised. In addition a two actor case study is given in details to illustrate capabilities of FISA. Currently such tool resolves complicated political disputes and manipulates various practical